搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Conference record, 1971 Twelfth Annual Symposium on Switching and Automata Theory : papers presented at the twelfth annual symposium, East Lansing, Mich., October 13-15, 1971 0 索取号：TP17/E702/12 作者：Symposium on Switching and Automata Theory (12th : 1971 : East Lansing、 Mich.)、IEEE Computer Society. Switching and Automata Theory Committee.、Michigan State University. Dept. of Computer Science.、出版社：New York, N.Y. : IEEE Computer Society, [1971?]		Proceedings of the second International Workshop on Rare Earth-Cobalt Permanent Magnets and their Applications, June 8-11, 1976, Dayton, Ohio, USA 0 索取号：O614.33-53/E802 作者：International Workshop on Rare Earth-cobalt Permanent Magnets and Their Applications (2nd : 1976 : University of Dayton)、Strnat、 Karl.、University of Dayton.、出版社：Dayton, Ohio : University of Dayton, [1976].
	Media fortunes, changing times : ASEAN states in transition 0 索取号：G229.330.0/E20041 作者：Workshop on Media and Transition in ASEAN (2000 : Singapore)、Heng、 Russell H. K. (Russell Hiang-Khng)、Institute of Southeast Asian Studies.、出版社：Singapore : Institute of Southeast Asian Studies, 2002.		Groups, rings, Lie and Hopf algebras 0 索取号：O15/E20041 作者：International Workshop "Groups、 Rings、 Lie and Hopf Algebras" (2001 : St. John's、N.L.)、Bakhturin、 ︠и︡у. A.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
	Public key cryptography-PKC 2003 : 6th International Workshop on Practice and Theory in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003 : proceedings 0 索取号：TP309-532/E20011/6 作者：International Workshop on Practice and Theory in Public Key Cryptography (6th : 2003 : Miami、 Fla.)、Desmedt、 Yvo.、出版社：Berlin ; New York : Springer, c2002.		Credit risk : measurement, evaluation, and management 0 索取号：F830.5/E20041 作者：Karlsruher ekonometrie-Workshop (8th : 2002)、Bol、 G. (Georg)、出版社：New York : Physica-Verlag, c2003.
	Proceedings of the 11th Annual Environmental and Water Resources Engineering Conference : June 1-2, 1972, Nashvill, Tennessee 0 索取号：X52-53/E806/11 作者：Environmental and Water Resources Engineering Conference (1972 : Nashville、 Tenn.)、Benedict、 Barry A.、Vanderbilt University. School of Engineering.、Tennessee. Stream Pollution Control Board.、Tennessee. Dept. of Public Health.、出版社：Nashville, Tenn. : Environmental and Water Resources Engineering Conference, 1972.		Non-point sources of water pollution : Proceedings of a Southeastern Regional Conference conducted on May 1 and 2, 1975, in Blacksburg, Va. at Virginia Polytechnic Institute and State University 0 索取号：X52-53/E805 作者：出版社：Blacksburg, Va. : Virginia Water Resources Reseach Center, 1975.
	Health effects of human exposure to barium in drinking water 0 索取号：X52/E804 作者：Health Effects Research Laboratory.、University of Illinois at the Medical Center.、出版社：Cincinnati, Ohio : Environmental Protecton Agency, Office of Research and Development, Health Effects Research Laboratory ; Springfield, Va. : for sale by the National Technical Information Service, 1979.		Lead in the environment : a report and analysis of research at Colorado State University, University of Illinois at Urbana-Champaign, and University of Missouri at Rolla : prepared for the National Science Foundation 0 索取号：X5/E808 作者：出版社：[Washington] : National Science Foundation : for sale by the Supt. of Docs., U.S. Govt. Print. Off., [1977]
	Interactions of man and his environment 0 索取号：X2-53/E701 作者：Jennings、 Burgess Hill、 1903- ed.、Murphy、 John E.、 joint ed.、Borg-Warner Corporation.、Northwestern University (Evanston、 Ill.)、出版社：New York : Plenum Press, 1966.		Space manufacturing facilities (space colonies) : proceedings of the Princeton/AIAA/NASA conference, May 7-9, 1975 (including the proceedings of the May, 1974 Princeton Conference on Space Colonization) 0 索取号：V52-53/E801 作者：Princeton/AIAA/NASA Conference on Space Manufacturing Facilities (Space Colonies) (1975 : Princeton University)、Grey、 Jerry.、Princeton University.、American Institute of Aeronautics and Astronautics.、United States. National Aeronautics and Space Administration.、Princeton Conference on Space Colonization (1974 : Princeton University)、出版社：New York : American Institute of Aeronautics and Astronautics, 1977.
	Earth sheltered housing design : guidelines, examples, and references 0 索取号：TU929/E801 作者：University of Minnesota. Underground Space Center.、Minnesota Energy Agency.、出版社：New York : Van Nostrand Reinhold, 1979.		Methods of structural analysis : proceedings of the National Structural Engineering Conference, an ASCE Structural Division specialty conference at the University of Wisconsin, August 22-25, 1976, Madison, Wisconsin 0 索取号：TU3-53/E801 作者：National Structural Engineering Conference (1976 : University of Wisconsin--Madison)、Saul、 William E.、Peyrot、 Alain H.、American Society of Civil Engineers. Structural Division.、出版社：New York : American Society of Civil Engineers, 1976.
	Chemical aspects of food enzymes : the proceeding of a symposium organized by the Food Chemistry Group of the Industrial Division of the Royal Society of Chemistry : University of Reading, 16th-17th Sept. 1986 0 索取号：TS201.2/E906 作者：出版社：London : Royal Society of Chemistry, c1987.		A symposium on the mechanism of enzyme action 0 索取号：TQ920.1-53/E601 作者：Johns Hopkins University.、McElroy、 William David、 1917-、Glass、 Bentley、 1906-、出版社：Baltimore : Johns Hopkins Press, 1954.

	Conference record, 1971 Twelfth Annual Symposium on Switching and Automata Theory : papers presented at the twelfth annual symposium, East Lansing, Mich., October 13-15, 1971 0 索取号：TP17/E702/12 作者：Symposium on Switching and Automata Theory (12th : 1971 : East Lansing、 Mich.)、IEEE Computer Society. Switching and Automata Theory Committee.、Michigan State University. Dept. of Computer Science.、出版社：New York, N.Y. : IEEE Computer Society, [1971?]		Proceedings of the second International Workshop on Rare Earth-Cobalt Permanent Magnets and their Applications, June 8-11, 1976, Dayton, Ohio, USA 0 索取号：O614.33-53/E802 作者：International Workshop on Rare Earth-cobalt Permanent Magnets and Their Applications (2nd : 1976 : University of Dayton)、Strnat、 Karl.、University of Dayton.、出版社：Dayton, Ohio : University of Dayton, [1976].
	Media fortunes, changing times : ASEAN states in transition 0 索取号：G229.330.0/E20041 作者：Workshop on Media and Transition in ASEAN (2000 : Singapore)、Heng、 Russell H. K. (Russell Hiang-Khng)、Institute of Southeast Asian Studies.、出版社：Singapore : Institute of Southeast Asian Studies, 2002.		Groups, rings, Lie and Hopf algebras 0 索取号：O15/E20041 作者：International Workshop "Groups、 Rings、 Lie and Hopf Algebras" (2001 : St. John's、N.L.)、Bakhturin、 ︠и︡у. A.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
	Public key cryptography-PKC 2003 : 6th International Workshop on Practice and Theory in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003 : proceedings 0 索取号：TP309-532/E20011/6 作者：International Workshop on Practice and Theory in Public Key Cryptography (6th : 2003 : Miami、 Fla.)、Desmedt、 Yvo.、出版社：Berlin ; New York : Springer, c2002.		Credit risk : measurement, evaluation, and management 0 索取号：F830.5/E20041 作者：Karlsruher ekonometrie-Workshop (8th : 2002)、Bol、 G. (Georg)、出版社：New York : Physica-Verlag, c2003.
	Proceedings of the 11th Annual Environmental and Water Resources Engineering Conference : June 1-2, 1972, Nashvill, Tennessee 0 索取号：X52-53/E806/11 作者：Environmental and Water Resources Engineering Conference (1972 : Nashville、 Tenn.)、Benedict、 Barry A.、Vanderbilt University. School of Engineering.、Tennessee. Stream Pollution Control Board.、Tennessee. Dept. of Public Health.、出版社：Nashville, Tenn. : Environmental and Water Resources Engineering Conference, 1972.		Non-point sources of water pollution : Proceedings of a Southeastern Regional Conference conducted on May 1 and 2, 1975, in Blacksburg, Va. at Virginia Polytechnic Institute and State University 0 索取号：X52-53/E805 作者：出版社：Blacksburg, Va. : Virginia Water Resources Reseach Center, 1975.
	Health effects of human exposure to barium in drinking water 0 索取号：X52/E804 作者：Health Effects Research Laboratory.、University of Illinois at the Medical Center.、出版社：Cincinnati, Ohio : Environmental Protecton Agency, Office of Research and Development, Health Effects Research Laboratory ; Springfield, Va. : for sale by the National Technical Information Service, 1979.		Lead in the environment : a report and analysis of research at Colorado State University, University of Illinois at Urbana-Champaign, and University of Missouri at Rolla : prepared for the National Science Foundation 0 索取号：X5/E808 作者：出版社：[Washington] : National Science Foundation : for sale by the Supt. of Docs., U.S. Govt. Print. Off., [1977]
	Interactions of man and his environment 0 索取号：X2-53/E701 作者：Jennings、 Burgess Hill、 1903- ed.、Murphy、 John E.、 joint ed.、Borg-Warner Corporation.、Northwestern University (Evanston、 Ill.)、出版社：New York : Plenum Press, 1966.		Space manufacturing facilities (space colonies) : proceedings of the Princeton/AIAA/NASA conference, May 7-9, 1975 (including the proceedings of the May, 1974 Princeton Conference on Space Colonization) 0 索取号：V52-53/E801 作者：Princeton/AIAA/NASA Conference on Space Manufacturing Facilities (Space Colonies) (1975 : Princeton University)、Grey、 Jerry.、Princeton University.、American Institute of Aeronautics and Astronautics.、United States. National Aeronautics and Space Administration.、Princeton Conference on Space Colonization (1974 : Princeton University)、出版社：New York : American Institute of Aeronautics and Astronautics, 1977.
	Earth sheltered housing design : guidelines, examples, and references 0 索取号：TU929/E801 作者：University of Minnesota. Underground Space Center.、Minnesota Energy Agency.、出版社：New York : Van Nostrand Reinhold, 1979.		Methods of structural analysis : proceedings of the National Structural Engineering Conference, an ASCE Structural Division specialty conference at the University of Wisconsin, August 22-25, 1976, Madison, Wisconsin 0 索取号：TU3-53/E801 作者：National Structural Engineering Conference (1976 : University of Wisconsin--Madison)、Saul、 William E.、Peyrot、 Alain H.、American Society of Civil Engineers. Structural Division.、出版社：New York : American Society of Civil Engineers, 1976.
	Chemical aspects of food enzymes : the proceeding of a symposium organized by the Food Chemistry Group of the Industrial Division of the Royal Society of Chemistry : University of Reading, 16th-17th Sept. 1986 0 索取号：TS201.2/E906 作者：出版社：London : Royal Society of Chemistry, c1987.		A symposium on the mechanism of enzyme action 0 索取号：TQ920.1-53/E601 作者：Johns Hopkins University.、McElroy、 William David、 1917-、Glass、 Bentley、 1906-、出版社：Baltimore : Johns Hopkins Press, 1954.